#!/bin/bash
#Author: Geert Geurts, geert.geurts@hrz.tu-darmstadt.de
IP=$(echo $1|awk -F'/' '{print $1}')
sed -i "/$IP/d" /var/spool/tuda_install.status
